Expressiveness Issues in Compositional Performance Reasoning
نویسندگان
چکیده
Compositional reasoning about any behavioral property of a system depends, first, on the ability to express that property for both individual components and systems constructed from them. Expressiveness problems arise when considering compositional reasoning about performance in the presence of complex user-defined types (as opposed to simpler built-in types). There are interesting implications not just for compositional reasoning but for language design and for formal specification.
منابع مشابه
Compositional Performance Reasoning
A well-understood reason for component-based software engineering (CBSE) is improved productivity. CBSE is also important for another basic reason. It enables compositional or modular reasoning, and therefore, it facilitates production of high quality systems. In compositional reasoning, it is possible to reason about the behavior of the system using the behavioral specifications of reused comp...
متن کاملAI and Music: From Composition to Expressive Performance
of computer music systems based on AI techniques: (1) compositional, (2) improvisational, and (3) performance systems. Representative examples of each type are briefly described. Then, we look in more detail at the problem of endowing the resulting performances with the expressiveness that characterizes human-generated music. This is one of the most challenging aspects of computer music that ha...
متن کاملInclusion-Based Approximate Reasoning
We present a kind of fuzzy reasoning, dependent on a measure of fulfilment of the antecedent clause, that captures all the expressiveness of the traditional approximate reasoning methodology based on the Compositional Rule of Inference (CRI) and at the same time rules out a good deal of its inherent complexity. We also argue why this approach offers a more genuine solution to the implementation...
متن کاملComparing spiritual intelligence and emotional expressiveness in psychosomatic patients
The most important issues of psychology is psychosomatic disease. This study aimed to compare spiritual intelligence and emotional expression in patients with irritable bowel syndrome, coronary heart disease and asthma. This research was a post-event descriptive study. The statistical population included patients with coronary heart disease, irritable bowel syndrome and asthma that attended Ima...
متن کاملComposition: A Way to Make Proofs Harder
Compositional reasoning about a system means writing its specification as the parallel composition of components and reasoning separately about each component. When distracting language issues are removed and the underlying mathematics is revealed, compositional reasoning is seen to be of little use.
متن کامل